Mathematical structure - PDFSEARCH.IO - Document Search Engine

Mathematical structure
Results: 1236

#	Item
681	LTL types FRP Linear-time Temporal Logic Propositions as Types Proofs as Functional Reactive Programs Alan Jeffrey Alcatel-Lucent Bell Labs [removed] Add to Reading List Source URL: ect.bell-labs.com Language: English - Date: 2011-11-17 10:18:47 Mathematical analysis Structure Integral transforms Logic Holomorphic functional calculus Decomposition of spectrum Mathematics Metalogic Model theory
682	OPTION: FULL 3-1/2" VALANCE VALANCE CORNER & RETURN ASSEMBLY 5 INSTALLING VALANCE CLIPS/VALANCE Add to Reading List Source URL: www.blindsaver.com Language: English - Date: 2013-03-19 17:40:47 Furnishings Home automation Window blind Bracket Warranty Structure Mathematical notation Mathematics Windows
683	Erzgraber, H., Krauskopf, B., & Lenstra, D[removed]Mode structure of delaycoupled semiconductor lasers : influence of the pump current. Link to publication record in Explore Bristol Research PDF-document University of Add to Reading List Source URL: research-information.bristol.ac.uk Language: English - Date: 2012-07-07 04:00:32 Mathematical analysis Saddle-node bifurcation Numerical continuation Hopf bifurcation Laser Bifurcation theory Optics Physics
684	Structure Learning of Markov Logic Networks through Iterated Local Search Marenglen Biba and Stefano Ferilli and Floriana Esposito1 Abstract. Many real-world applications of AI require both probability and first-order lo Add to Reading List Source URL: www.comp.leeds.ac.uk Language: English - Date: 2008-08-18 09:29:21 Logic Automated theorem proving Theoretical computer science Mathematical logic Statistical models Markov logic network Algorithm Logic programming Resolution Bayesian statistics Statistics Mathematics
685	NBER WORKING PAPER SERIES A CONTINUOUS-TIME AGENCY MODEL OF OPTIMAL CONTRACTING AND CAPITAL STRUCTURE Peter M. DeMarzo Yuliy Sannikov Add to Reading List Source URL: www.nber.org Language: English - Date: 2004-07-15 15:24:26 Mathematical finance Asymmetric information Economics Cash flow Fundamental analysis Forward contract Option Principal–agent problem Present value Finance Financial economics Corporate finance
686	BMC Bioinformatics BioMed Central Open Access Add to Reading List Source URL: bioenergycenter.org Language: English - Date: 2011-06-17 11:09:10 Protein structure Chemistry Biological databases Mathematical and theoretical biology Molecular modelling STING Protein quaternary structure Macromolecular docking Multiprotein complex Bioinformatics Science Biology
687	NOTES ON O-MINIMALITY SERGEI STARCHENKO 1 C ONTENTS Add to Reading List Source URL: www.fields.utoronto.ca Language: English - Date: 2009-01-20 10:53:16 O-minimal theory Definable set Strongly minimal theory Structure Continuous function Function Open set Weakly o-minimal structure Definable real number Mathematics Model theory Mathematical logic
688	Banach J. Math. Anal[removed]), no. 1, 181–192 Banach Journal of Mathematical Analysis ISSN: [removed]electronic) www.emis.de/journals/BJMA/ Add to Reading List Source URL: emis.um.ac.ir Language: English - Date: 2010-11-13 10:00:02 C-algebras Operator theory Algebras Multiplier algebra Spectrum of a C-algebra Von Neumann algebra Algebraic structure Approximately finite dimensional C*-algebra Algebra Abstract algebra Mathematics
689	The Inverse Fine Structure Constant A Relationship of Pi and the Diametian Charles William Johnson Earth/matriX: Science Today Background Add to Reading List Source URL: earthmatrix.com Language: English - Date: 2012-08-13 18:45:36 Fundamental constants Physics Complex analysis Radian Fine-structure constant Planck units Measurement Mathematical analysis Pi
690	Knowing Minimum/Maximum n Formulae 1 and Natasha Alechina 2 ˚ Thomas Agotnes Abstract. We introduce a logical language with nullary operators min(n), for each non-negative integer n, which mean ‘the reasoner has at l Add to Reading List Source URL: www.cs.nott.ac.uk Language: English - Date: 2009-09-20 10:32:05 Metalogic Interpretation First-order logic Modal logic Epistemic modal logic Structure Well-formed formula Satisfiability Linear temporal logic Logic Model theory Mathematical logic

UPDATE